#include <stdio.h>
#include <string.h>
#include <unistd.h>
int main()
{
  printf("printf\n");
  char *s="fprintf\n";
  fprintf(stdout,s);
  s="write\n";
  write(1,s,strlen(s));
  fork();
}
